---

formally-defined security

英 [ˈfɔːməli dɪˈfaɪnd sɪˈkjʊərəti] 美 [ˈfɔrməli dɪˈfaɪnd sɪˈkjʊrəti]

【计】形式定义的安全性模型

计算机

---

---